Nuprl Definition : chain_config
11,40
postcript
pdf
chain_config() == Unit + Unit + Id + (
id
:Id
)
latex
Definitions
Unit
,
left
+
right
,
x
:
A
B
(
x
)
,
Id
,
FDL editor aliases
chain_config
origin
) ) B(x)